ul.toc {
	margin: 0px 5px 5px 5px;
	padding: 0px;
}
ul.toc li {
	font-size: 85%;
	margin: 1px 0 1px 1px;
	padding: 1px 0 1px 11px;
	list-style-type: none;
	background-repeat: no-repeat;
	background-position: center left;
}
ul.toc li.header {
	font-size: 115%;
	padding: 5px 0px 5px 11px;
	border-bottom: 1px solid #cccccc;
	margin-bottom: 5px;
}
ul.toc li.active {
	font-weight: bold;
}
ul.toc li a {
	text-decoration: none;
}
ul.toc li a:hover {
	text-decoration: underline;
}

pre {
  background-color: #ededed;
  padding: 7px
}

code.commandline{
  display: block;
  background-color: #555555;
  color: white;
  padding: 0 7px 7px 7px;
}

div.file {
  background-color: #ededed;
  padding: 7px;
  margin: 12px 0
}

span.filepath {
  white-space: nowrap;
  color: maroon;
}
